punch pipe - German English Dictionary